25 research outputs found
Logic and Philosophy of Religion
This paper introduces the special issue on Logic and Philosophy of Religion of the journal Sophia: International Journal of Philosophy and Traditions (Springer). The issue contains the following articles: Logic and Philosophy of Religion, by Ricardo Sousa Silvestre and Jean-Yvez BĂ©ziau; The End of Eternity, by Jamie Carlin Watson; The Vagueness of the MuseâThe Logic of Peirceâs Humble Argument for the Reality of God, by Cassiano Terra Rodrigues; Misunderstanding the Talk(s) of the Divine: Theodicy in the Wittgensteinian Tradition, by OndĆej Beran; On the Concept of Theodicy, by Ricardo Sousa Silvestre; The Logical Problem of the Trinity and the Strong Theory of Relative Identity, by Daniel Molto; Thomas Aquinas on Logic, Being, and Power, and Contemporary Problems for Divine Omnipotence, by Errin D. Clark
Trivial Dialetheism and the Logic of Paradox
In this paper we explain that the paraconsistent logic LP (Logic of Paradox) promoted by Graham Priest can only be supported by trivial dialetheists, i.e., those who believe that all sentences are dialetheias
Formal Approaches to the Ontological Argument
This paper introduces the special issue on Formal Approaches to the Ontological Argument of the Journal of Applied Logics (College Publications). The issue contains the following articles: Formal Approaches to the Ontological Argument, by Ricardo Sousa Silvestre and Jean-Yves BĂ©ziau; A Brief Critical Introduction to the Ontological Argument and its Formalization: Anselm, Gaunilo, Descartes, Leibniz and Kant, by Ricardo Sousa Silvestre; A Mechanically Assisted Examination of Begging the Question in Anselmâs Ontological Argument, by John Rushby; A Tractarian Resolution to the Ontological Argument, by Erik Thomsen; On Kantâs Hidden Ambivalence Toward Existential Generalization in his Critique of the Ontological Argument, by Giovanni Mion; The Totality of Predicates and the Possibility of the Most Real Being, by SreÄko KovaÄ; An Even More Leibnizian Version of Gödelâs Ontological Argument, by Kordula ĆwiÄtorzecka and Marcin Ćyczak; A Case Study On Computational Hermeneutics: E. J. Loweâs Modal Ontological Argument, by David Fuenmayor
Handbook of the First World Congress on Logic and Religion
This is the handbook of abstracts of the 1st World Congress on Logic and Religion, which took place in JoĂŁo Pessoa, Brazil, April 01-05, 2015
La Pointure du Symbole
Dans un texte dĂ©sormais cĂ©lĂšbre, Ferdinand de Saussure insiste sur lâarbitraire du signe dont il vante les qualitĂ©s. Toutefois il sâavĂšre que le symbole, signe non arbitraire, dans la mesure oĂč il existe un rapport entre ce qui reprĂ©sente et ce qui est reprĂ©sentĂ©, joue un rĂŽle fondamental dans la plupart des activitĂ©s humaines, quâelles soient scientifiques, artistiques ou religieuses. Câest cette dimension symbolique, sa portĂ©e, son fonctionnement et sa signification dans des domaines aussi variĂ©s que la chimie, la thĂ©ologie, les mathĂ©matiques, le code de la route et bien dâautres qui est lâobjet du livre La Pointure du symbole. -/- Jean-Yves BĂ©ziau, franco-suisse, est docteur en logique mathĂ©matique et docteur en philosophie. Il a poursuivi des recherches en France, au BrĂ©sil, en Suisse, aux Ătats-Unis (UCLA et Stanford), en Pologne et dĂ©veloppĂ© la logique universelle. Ăditeur-en-chef de la revue Logica Universalis et de la collection Studies in Universal Logic (Springer), il est actuellement professeur Ă lâUniversitĂ© FĂ©dĂ©rale de Rio de Janeiro et membre de lâAcadĂ©mie brĂ©silienne de Philosophie.
SOMMAIRE -/-
PRĂFACE
Lâarbitraire du signe face Ă la puissance du symbole
Jean-Yves BĂZIAU
La logique et la thĂ©orie de la notation (sĂ©miotique) de Peirce (Traduit de lâanglais par Jean-Marie Chevalier)
Irving H. ANELLIS
Langage symbolique de GenĂšse 2-3
Lytta BASSET -/- Mécanique quantique : quelle réalité derriÚre les symboles ?
Hans BECK -/- Quels langages et images pour représenter le corps humain ?
Sarah CARVALLO
Des jeux symboliques aux rituels collectifs. Quelques apports de la psychologie du dĂ©veloppement Ă lâĂ©tude du symbolisme
Fabrice CLĂMENT
Les panneaux de signalisation (Traduit de lâanglais par Fabien Shang)
Robert DEWAR
Remarques sur lâĂ©mergence des activitĂ©s symboliques
Jean LASSĂGUE
Les illustrations du "Songe de Poliphile" (1499). Notule sur les hiéroglyphes de Francesca Colonna
Pierre-Alain MARIAUX
Signes de vie
Jeremy NARBY
Visualising relations in society and economics. Otto Neuraths Isotype-method against the background of his economic thought
Elisabeth NEMETH
AlgĂšbre et logique symboliques : arbitraire du signe et langage formel
Marie-JosĂ© DURAND â Amirouche MOKTEFI
Les symboles mathématiques, signes du Ciel
Jean-Claude PONT
La mathématique : un langage mathématique ?
Alain M. ROBERT
The Mystery of the Fifth Logical Notion (Alice in the Wonderful Land of Logical Notions)
We discuss a theory presented in a posthumous paper by Alfred Tarski entitled âWhat are logical notions?â. Although the theory of these logical notions is something outside of the main stream of logic, not presented in logic textbooks, it is a very interesting theory and can easily be understood by anybody, especially studying the simplest case of the four basic logical notions. This is what we are doing here, as well as introducing a challenging fifth logical notion. We first recall the context and origin of what are here called Tarski-Lindenbaum logical notions. In the second part, we present these notions in the simple case of a binary relation. In the third part, we examine in which sense these are considered as logical notions contrasting them with an example of a nonlogical relation. In the fourth part, we discuss the formulations of the four logical notions in natural language and in first-order logic without equality, emphasizing the fact that two of the four logical notions cannot be expressed in this formal language. In the fifth part, we discuss the relations between these notions using the theory of the square of opposition. In the sixth part, we introduce the notion of variety corresponding to all non-logical notions and we argue that it can be considered as a logical notion because it is invariant, always referring to the same class of structures. In the seventh part, we present an enigma: is variety formalizable in first-order logic without equality? There follow recollections concerning Jan WoleĆski. This paper is dedicated to his 80th birthday. We end with the bibliography, giving some precise references for those wanting to know more about the topic